The halting problem was the first such set to be constructed. كانت مشكلة التوقف هي الأولى في إنشاءها .
The halting problem is therefore called non-computable or undecidable. لذلك فإن برنامج التوقف يسمى الغير حاسوبي أو الغير محسوم.
We have previously shown, however, that the halting problem is undecidable. لقد عرضنا سابقاً، رغم ذلك أن مشكلة التوقف غير محسومه.
This machine is capable of deciding the halting problem by directly simulating the execution of the machine in question. هذه الآلة قادرة على تحديد مشكلة التوقف عن طريق المحاكاة المباشرة لتنفيذ الجهاز محل السؤال.
While each of them can solve the halting problem for a Turing machine, they cannot solve their own version of the halting problem. بينما أي منهم يمكن أن يحل مشكلة التوقف لآلة تورنغ، فلا يمكنهم حل نسختهم من مشكلة التوقف.
The halting problem is one of the most famous problems in computer science, because it has profound implications on the theory of computability and on how we use computers in everyday practice. مشكلة التوقف هي أحد أشهر المشاكل في علوم الكومبيوتر، لأن لها آثار عميقة على نظرية الحسابية وعلى كيفية استخدام حاسباتنا يومياً.
The halting problem is easy to solve, however, if we allow that the Turing machine that decides it may run forever when given input which is a representation of a Turing machine that does not itself halt. رغم أن مشكلة التوقف يمكن حلها بسهولة، إذا سمحنا لآلة تورنغ بأن تقرر فقد تعمل للأبد عندما تكون أحد المدخلات والذي يعتبر تمثيل لآلة تورنغ لا تتوقف من تلقاء نفسها.
جوال إصدار